Language and Computation - PDFSEARCH.IO - Document Search Engine

Language and Computation
Results: 343

#	Item
221	SCOOPING THE LOOP SNOOPER A proof that the Halting Problem is undecidable Geoffrey K. Pullum School of Philosophy, Psychology and Language Sciences, University of Edinburgh No general procedure for bug checks succeeds. Add to Reading List Source URL: oldblog.computationalcomplexity.org Language: English - Date: 2009-05-18 12:12:50 Computability theory Computing Theory of computation Halting problem Infinite loop Software bugs Computer programming Mathematics
222	Functional Programming Patterns and Their Role in Instruction Eugene Wallingford Department of Computer Science, University of Northern Iowa, Cedar Falls, Iowa[removed]removed] Add to Reading List Source URL: www.cs.uni.edu Language: English - Date: 2002-10-01 13:49:35 Programming paradigms Programming idioms Design Recursion Theory of computation Software design pattern Object-oriented programming Pattern language Functional programming Computer programming Software engineering Computing
223	Diagraph of Metaphysic or Ontology Jacob Lorhard, trans. by Sara L. Uckelman∗ ∗ Institute for Logic, Language, and Computation, [removed] Add to Reading List Source URL: www.illc.uva.nl Language: English - Date: 2008-03-27 09:33:29 Scholasticism Natural philosophy Jacob Lorhard Potentiality and actuality Perfection Being Nous Reality Philosophy Metaphysics Ontology
224	ECE3056 - Architecture, Concurrency, and Energy in Computation[removed]Prerequisites: ECE 2031/20X2 [min C] and ECE[removed]min C] Corequisites: None Catalog Description: Basic organizational principles of the major c Add to Reading List Source URL: pe.gatech.edu Language: English - Date: 2014-12-19 12:26:28 Computer engineering Microprocessors Computer memory Firmware Microcode Hardware description language Microarchitecture Parallel computing Memory hierarchy Computer architecture Computer hardware Central processing unit
225	The Dataflow Schedule Graph and Applications to Heterogeneous Computing Systems Hsiang-Huang Wu Department of Electrical & Computer Engineering, and Institute for Advanced Computer Studies University of Maryland Add to Reading List Source URL: www.marshallplan.at Language: English - Date: 2014-09-30 21:01:44 Computer data Dataflow Parallel computing Electronic engineering SIGNAL Software engineering Dataflow architecture CAL Actor Language Computer architecture Computing Models of computation
226	Oak Ridge Leadership Computing Facility M ath is the language of science, and computation, its workhorse. To accelerate answers in science and engineering, the Oak Add to Reading List Source URL: www.olcf.ornl.gov Language: English - Date: 2013-05-01 08:40:42 Concurrent computing Distributed computing architecture FLOPS Jaguar Battelle Memorial Institute Petascale High-performance computing Titan Cray Computing Supercomputers Parallel computing
227	Efficient Ranking and Computation of Semantic Relatedness and its Application to Word Sense Disambiguation Maxim Grinev, Dmitry Lizorkin, Denis Turdakov, Pavel Velikhov Institute for System Programming Russian Academy of Add to Reading List Source URL: modis.ispras.ru Language: English - Date: 2009-04-09 04:33:31 Linguistics Natural language processing Semantic similarity Word-sense disambiguation Wikipedia SemEval Heuristic SimRank Algorithm Computational linguistics Semantics Science
228	Abstracting Security Specifications in Building Survivable Systems J. Jenny Li and Mark Segal Telcordia Technologies (formerly Bellcore) 445 South Street, Morristown NJ[removed]USA Email: [removed]; Phone: (97 Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 1999-11-05 00:00:00 Formal methods Mathematics Diagrams Specification and Description Language Invariant Finite-state machine Extended finite-state machine Vulnerability Buffer overflow Computing Models of computation Theoretical computer science
229	Discourse Structure and Computation: Past, Present and Future Bonnie Webber School of Informatics University of Edinburgh Edinburgh UK EH8 9AB [removed] Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-05-24 10:52:03 Discourse analysis Sociolinguistics Computational linguistics Anthropology Discourse relation Natural language processing Text segmentation Discourse Treebank Linguistics Science Semantics
230	Best Practice in Robotics(BRICS) Grant Agreement Number: [removed][removed]Deliverable D4.2: Statecharts and IPC policy improvements to MDE standards Add to Reading List Source URL: www.best-of-robotics.org Language: English - Date: 2013-04-22 10:00:17 Software engineering Theoretical computer science Automata theory Digital electronics Information science State diagram Finite-state machine Unified Modeling Language Event Models of computation Diagrams UML diagrams

UPDATE